منابع مشابه
Theory of Computing Systems
We give a new proof of recent results of Grolmusz and Tardos on the computing power of constant-depth circuits consisting of a single layer of MODm gates followed by a fixed number of layers of MODpk -gates, where p is prime.
متن کاملApplying Control Theory to Computing Systems
LIMITED DISTRIBUTION NOTICE: This report has been submitted for publication outside of IBM and will probably be copyrighted if accepted for publication. It has been issued as a Research Report for early dissemination of its contents. In view of the transfer of copyright to the outside publisher, its distribution outside of IBM prior to publication should be limited to peer communications and sp...
متن کاملA Semantic Theory for Global Computing Systems
We introduce CKLAIM, a process calculus that can be thought of as a variant of the π-calculus with process distribution, process mobility and asynchronous communication through distributed repositories. Upon it, we develop a semantic theory to reason about programs. More precisely, we introduce a natural contextually defined behavioural semantics, give a coinductive characterization in terms of...
متن کاملFormal Methods Unifying Computing Science and Systems Theory
Computing Science and Systems Theory can gain much from unified mathematical models and methodology, in particular formal reasoning (“letting the symbols do the work”). This is achieved by a wide-spectrum formalism. The language uses just four constructs, yet suffices to synthesize familiar notations (minus the defects) as well as new ones. It supports formal calculation rules convenient for ha...
متن کاملCombining Theory and Systems Building in Pervasive Computing
Pervasive computing are nowadays in widespread use, deeply penetrating into and increasingly demonstrating its significance in our everyday work and leisure life. In the last decade, cheap and low energy consuming devices made far-reaching impact on the pervasive computing paradigm and fueled up a plethora of new applications. For instance, solar-powered sensors are expansively deployed to moni...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Banach Center Publications
سال: 1977
ISSN: 0137-6934,1730-6299
DOI: 10.4064/-2-1-101-165